Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·10h
📊Static Analysis
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·7h
🔩Systems Programming
How the Lean language brings math to coding and coding to math
amazon.science·19h·
Discuss: Hacker News
🔬Lean
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·14h
🔗Functional Compilers
Software books I wish I could read
buttondown.com·1h
🔄Language Evolution
GoLang appreciation post
reddit.com·17h·
Discuss: r/golang
💧Liquid Types
Smart Air Quality Monitor Using Arduino, Bug-in-Circuit
hackster.io·10h
🔌Single Board PC
AI can write code, but should you trust it blindly?
dev.to·1h·
Discuss: DEV
⚡Proof Automation
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🎯Gradual Typing
Google fixed two Qualcomm bugs that were actively exploited in the wild
securityaffairs.com·7h
📦Container Security
The Amaranth hardware description language
amaranth-lang.org·10h·
Discuss: Hacker News
🔍FPGA Verification
How To Review Code
endler.dev·14h
📏Code Metrics
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·18h
🔬Refinement Types
Stop using assert in your Python code
nocomplexity.com·4h
🧪Property-Based Testing
Before AI Slop We Had Spaghetti Code
chatbotkit.com·2h·
Discuss: Hacker News
📏Code Metrics
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·2d·
Discuss: Hacker News
🧪CBOR Fuzzing